The Cantor–Schröder–Bernstein Theorem for $$\infty $$-groupoids
نویسندگان
چکیده
Abstract We show that the Cantor–Schröder–Bernstein Theorem for homotopy types, or $$\infty $$ ? -groupoids, holds in following form: For any two if each one is embedded into other, then they are equivalent. The argument developed language of type theory, Voevodsky’s univalent foundations (HoTT/UF), and requires classical logic. It follows theorem boolean -topos.
منابع مشابه
Groupoids and Van Kampen's Theorem
Introduction The fundamental groupoid TT(X) of a topological space X has been known for a long time but has been regarded, usually, as of little import in comparison with the fundamental group—for example, the groupoid is described in ((3) 155) as an 'interesting curiosity'. In this paper we shall generalize the fundamental group at a point a of X, namely 7r(X,a), to the fundamental groupoid on...
متن کاملA Riemann-roch Theorem for One-dimensional Complex Groupoids
We consider a smooth groupoid of the form Σ ⋊ Γ where Σ is a Riemann surface and Γ a discrete pseudogroup acting on Σ by local conformal diffeomorphisms. After defining a K-cycle on the crossed product C0(Σ) ⋊ Γ generalising the classical Dolbeault complex, we compute its Chern character in cyclic cohomology, using the index theorem of Connes and Moscovici. This involves in particular a general...
متن کاملRenault’s Equivalence Theorem for C∗-Algebras of Étale Groupoids
The purpose of this paper is to prove directly that if two locally compact Hausdorff étale groupoids are Morita equivalent, then their reduced groupoid C∗-algebras are Morita equivalent.
متن کاملGroupoids, the Phragmen-brouwer Property, and the Jordan Curve Theorem
We publicise a proof of the Jordan Curve Theorem which relates it to the Phragmen-Brouwer Property, and whose proof uses the van Kampen theorem for the fundamental groupoid on a set of base points.
متن کاملThe Muhly–Renault–Williams theorem for Lie groupoids and its classical counterpart
A theorem of Muhly–Renault–Williams states that if two locally compact groupoids with Haar system are Morita equivalent, then their associated convolution C-algebras are strongly Morita equivalent. We give a new proof of this theorem for Lie groupoids. Subsequently, we prove a counterpart of this theorem in Poisson geometry: If two Morita equivalent Lie groupoids are s-connected and s-simply co...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Homotopy and Related Structures
سال: 2021
ISSN: ['2193-8407']
DOI: https://doi.org/10.1007/s40062-021-00284-6